Hybrid automaton - PDFSEARCH.IO - Document Search Engine

Hybrid automaton
Results: 28

#	Item
11	A Hybrid Synchronous Language with Hierarchical Automata∗ Static Typing and Translation to Synchronous Code Albert Benveniste Timothy Bourke† Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-04-17 12:15:00 Derivative Expected value Analysis State space Differential equations Hybrid automaton Automata theory Mathematical analysis Mathematics Control theory
12	HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation Paolo Ballarini, Benoˆıt Barbot, Marie Duflot, Serge Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-25 18:43:01 Markov processes Models of computation Markov models Differential equations Petri net Probabilistic automaton Markov chain Hybrid automaton Random variable Statistics Probability and statistics Automata theory
13	Zélus: A Synchronous Language with ODEs Tool Paper Timothy Bourke Marc Pouzet Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-03-11 04:19:54 Software engineering Visual programming languages Differential equations Models of computation Mathematical modeling Stateflow Hybrid automaton Modelica Simulink Computing Mathematics Automata theory
14	Outline Model checking real-time systems Algorithmic Verification Comp4151 Lecture 12-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:07 Models of computation Hybrid automaton Model checking Formal methods Computer science Finite-state machine Hybrid system Automata theory Differential equations Theoretical computer science
15	The Concept of Deadlock and Livelock in Hybrid Control Systems Alessandro Abate1 , Alessandro D’Innocenzo2 , Giordano Pola2,3, Maria Domenica Di Benedetto2 , and Shankar Sastry1 1 Add to Reading List Source URL: www.dcsc.tudelft.nl Language: English - Date: 2009-08-24 08:29:02 Cybernetics Science Knowledge Concurrency control Deadlock Hybrid automaton Dynamical system System Hybrid system Systems theory Computing Differential equations
16	Sayan Mitra Department of Electrical & Computer Engineering Coordinated Science Laboratory University of Illinois at Urbana Champaign Urbana, IL 61801 Add to Reading List Source URL: users.crhc.illinois.edu Language: English - Date: 2014-10-11 16:40:07 Hybrid automaton Model checking DREAM Theorem Proving in Higher-Order Logics Orc Computer science Applied mathematics Theoretical computer science Formal methods Automata theory
17	Microsoft PowerPoint - Timmons Add to Reading List Source URL: www.kiss.caltech.edu Language: English - Date: 2012-08-03 14:33:57 Cybernetics Estimation theory State observer Automated planning and scheduling Statistics Science Differential equations Hybrid automaton Control theory Interpretation Scientific modelling
18	J Autom Reasoning[removed]:[removed]DOI[removed]s10817[removed]Differential Dynamic Logic for Hybrid Systems Andr´ e Platzer Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:09:43 Differential equations Systems theory Model theory Formal languages Predicate logic Hybrid system Hybrid automaton Dynamical system KeY Logic Mathematical logic Mathematics
19	A Query-Based Technique for Interpreting Reachable Sets for Hybrid Automaton Models of Protein Feedback Signaling Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2007-01-10 20:05:40 ARRA Maths24
20	Accepted to appear in IEE Systems Biology Symbolic Reachable Set Computation of Piecewise Aﬃne Hybrid Automata and its Application to Biological Modelling: Delta-Notch Protein Signalling Ronojoy Ghosh Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2006-11-03 02:08:52 Formal methods Hybrid automaton State transition system Computer science Cellular automata Model checking Automata theory Models of computation Theoretical computer science